Generating Perception Requests and Expectations to Verify the Execution of Plans
نویسندگان
چکیده
This paper addresses the problem of verifying plan execution. An implemented computer program which is part of the execution monitoring process for an experimental robot system is described. The program analyzes a plan and automatically inserts appropriate perception requests into the plan and generates anticipated sensor values. Real-time confirmation of these expectations implies successful plan execution. The implemented plan verification strategy and knowledge representation are described. Several issues and extensions of the method are discussed, including a language for plan verification, heuristics for constraining plan verification, and methods for analyzing plans at multiple levels of abstraction to determine context-dependent verification strategies.
منابع مشابه
Generating Efficient Execution Plans for Vertically Partitioned XML Databases
Experience with relational systems has shown that distribution is an effective way of improving the scalability of query evaluation. In this paper, we show how distributed query evaluation can be performed in a vertically partitioned XML database system. We propose a novel technique for constructing distributed execution plans that is independent of local query evaluation strategies. We then pr...
متن کاملRequestive Speech Acts Realization Patterns: Observation from Persian
Without knowing the speech act functions, it would be difficult to make correct requests in a language. Studies in pragmalinguistics have shown that conventionally direct and indirect requestive patterns are perceived differently in different speech communities. This study investigates the perception of the requestive speech acts by Persian native speakers to determine the socially appropriate ...
متن کاملPosition of Rural Development in Development Plans
In Iran, new centralization characteristic, especially during Pahlavi dynasty, has been convergence and its vast use in bureaucracy. Historical sociological studies have consensus on the issues of centralization, power centralization, and political sovereignty in Iran; however, these issues have some divisional interruptions and different levels of strength in some parts of the history. This es...
متن کاملسنجش و تحلیل نابرابری های منطقه ای بازار کار در برنامه چهارم توسعه
Regional development, regional policies execution and decreasing imbalances have always been the challenges of governments during the last two decades. One could refer to the inequalities of labor markets among different regions of the country in the development plans performance. One of the goals of the 4th development plan (2005 - 2009) was to decrease the difference between the highest and l...
متن کاملSocial Factors Associated with School Phobia in Elementary School Students
The present study was carried out to identify and analyze the social factors affecting school phobia in children in three domains of personal characteristics, parental expectations for children's educational attainment, and human and physical factors related to schools. The research method was survey and the statistical population of the study was comprised of 545 parents of Tehrani elementary ...
متن کامل